* process.c (handle_child_signal): Fix crash; deleted pid.
authorPaul Eggert <eggert@cs.ucla.edu>
Mon, 19 Aug 2013 05:46:17 +0000 (22:46 -0700)
committerPaul Eggert <eggert@cs.ucla.edu>
Mon, 19 Aug 2013 05:46:17 +0000 (22:46 -0700)
commit7602b18f8551cb042aed2394f9797b965ee1a07d
tree3d4d9c40de8e47f31f0b4887532abc07db45cab7
parent24a09b417c957e0e1b91b7c3ce3abf44658c7b26
* process.c (handle_child_signal): Fix crash; deleted pid.

This was introduced by my 2013-08-12 fix for Bug#15035.
src/ChangeLog
src/process.c